If a finite non-Abelian simple group <I>G</I> has a subgroup of index <I>n</I>, then <I>G</i> is isomorphic to a subgroup of  <I>A<sub>n</sub></i>.